Composants avec Propriétés Temporelles
نویسندگان
چکیده
RÉSUMÉ. Cet article propose une approche pour le développement d’applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s’adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) conçoivent des composants logiciels pour ce type d’applications. A partir des spécifications temporelles de l’application, le processus vérifie l’assemblage des composants et génère un connecteur en Giotto préservant les propriétés temporelles.
منابع مشابه
Marte Timing Requirement and Spirit IP-XACT
Large System-on-Chips are built by assembly of existing components modeled at di erent representation levels (tlm, rtl). The ip-xact standard was developed to ease interoperability of IPs from di erent vendors. Currently, it focuses on structural, typing and memory-related information and does not fully face behavioral and timing representation issues. uml marte pro le explicitly focuses on the...
متن کاملLes aspects et les composants logiciels. Etude de cas avec le modèle de composant FRACTAL
RÉSUMÉ. La programmation par composants logiciels promet la réutilisation, mais elle est sujette aux problèmes de dispersion et de mélange de code représentant des propriétés transversales. L’application de la programmation par aspects (AOP) sur les composants logiciels permet de faire face à ces problèmes. Nous présentons dans ce papier FRACTAL-AOP, une extension du modèle de composant Fractal...
متن کاملAssemblage de composants multivues par contrats
RÉSUMÉ. Cet article propose une approche à base de composants multivues, dans le contexte d'un profil UML appelé VUML. Dans VUML, Un composant multivues est défini comme une extension du composant UML 2.0 doté d'interfaces multivues (requises et/ou fournies). Une interface multivues est un cas particulier d'interface, dont la définition et le comportement dépendent de la vue active. Par suite, ...
متن کاملUne approche formelle de la reconfiguration dynamique
RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...
متن کاملExpression qualitative de politiques d'adaptation pour les composants Fractal
Résumé. Les plates-formes d’exécution récentes telles que Fractal ou OpenCOM offrent de nombreuses facilités pour assurer la prise en compte de propriétés extra-fonctionnelles (introspection, sondes, chargement dynamique, etc). Cependant, l’intégration de politiques d’adaptation reste délicate car elle nécessite de corréler la configuration du système avec l’évolution de son environnement. Le t...
متن کامل